CIRSTEA, HORATIU: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Rule-based Programming in Java For Protocol Verification

Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 325 KB

english, 2005

2

Anti-patterns for rule-based languages

Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 627 KB

english, 2010

3

Expressing combinatory reduction systems derivations in the rewriting calculus

Clara Bertolissi, Horatiu Cirstea, Claude Kirchner

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 755 KB

english, 2006

4

A ρ-calculus of explicit constraint application

Horatiu Cirstea, Germain Faure, Claude Kirchner

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 765 KB

english, 2007

5

Preface

Horatiu Cirstea, Narciso Martí-Oliet

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 69 KB

english, 2006

6

The simply typed rewriting calculus

Horatiu Cirstea, Claude Kirchner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 202 KB

english, 2000

7

Rewriting Calculus with(out) Types

Horatiu Cirstea, Claude Kirchner, Luigi Liquori

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 258 KB

english, 2004

8

Rewrite Strategies in the Rewriting Calculus

Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 1.72 MB

english, 2003

9

A ρ-Calculus of Explicit Constraint Application

Horatiu Cirstea, Germain Faure, Claude Kirchner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 352 KB

english, 2005

10

From Functional Programs to Interaction Nets via the Rewriting Calculus

Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 436 KB

english, 2007

11

Distributive ρ-calculus

Horatiu Cirstea, Clément Houtmann, Benjamin Wack

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 334 KB

english, 2007

12

Rewrite Based Specification of Access Control Policies

Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 319 KB

english, 2009

13

Translating Combinatory Reduction Systems into the Rewriting Calculus

Clara Bertolissi, Horatiu Cirstea, Claude Kirchner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 208 KB

english, 2003

14

A rewriting calculus for cyclic higher-order term graphs

BALDAN, PAOLO, BERTOLISSI, CLARA, CIRSTEA, HORATIU, KIRCHNER, CLAUDE

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 802 KB

english, 2007

15

Rewriting calculi, higher-order reductions and patterns: introduction

CIRSTEA, HORATIU, FERNÁNDEZ, MARIBEL

Journal:

Mathematical Structures in Computer Science

Year:

2008

Language:

english

File:

PDF, 196 KB

english, 2008

16

[ACM Press the 13th international ACM SIGPLAN symposium - Odense, Denmark (2011.07.20-2011.07.22)] Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming - PPDP '11 - Symbolic analysis of network security policies using rewrite systems

Bourdier, Tony, Cirstea, Horatiu

Year:

2011

Language:

english

File:

PDF, 650 KB

english, 2011

17

[IEEE 2015 16th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE) - Budapest, Hungary (2015.4.19-2015.4.22)] 2015 16th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems - A multi-scale model of a Micro-Mirror Array and an automatic model derivation tool

Duy Duc Nguyen,, Belkhir, Walid, Ratier, Nicolas, Yang, Bin, Lenczner, Michel, Zamkotsian, Frederic, Cirstea, Horatiu

Year:

2015

Language:

english

File:

PDF, 1.45 MB

english, 2015

18

[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array

Belkhir, Walid, Ratier, Nicolas, Nguyen, Duy Duc, Yang, Bin, Lenczner, Michel, Zamkotsian, Frederic, Cirstea, Horatiu

Year:

2015

Language:

english

File:

PDF, 536 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски